 |
0 索取号:TP3-55/E906 作者:Logics of Programs Workshop (1983 : Carnegie Mellon University)、Clarke、 Edmund.、Kozen、 Dexter、 1951-、 出版社:Berlin ; New York : Springer-Verlag, 1984.
|  |
0 索取号:TP3-55/E802 作者:International Conference on Mathematical Studies of Information Processing (1978 : Kyoto、 Japan)、Blum、 E. K. (Edward K.)、 1923-、Paul、 M. (Medford)、Takasu、 Satoru、 1931-、 出版社:Berlin ; New York : Springer-Verlag, 1979.
|
 |
0 索取号:TP3-55/E801 作者:International Symposium on Computing Methods in Applied Sciences and Engineering (1st : 1973 : Versailles)、Glowinski、 R.、 ed.、Lions、 Jacques Louis、 ed.、Iria Laboria.、 出版社:Berlin ; New York : Springer-Verlag, 1974.
|  |
0 索取号:TP3-53/E908/7 作者:International Symposium on Fault-Tolerant Computing (7th : 1977 : Los Angeles)、Institute of Electrical and Electronics Engineers.、IEEE Computer Society、 出版社:New York : Institute of Electrical and Electronics Engineers, Inc., 1977.
|
 |
0 索取号:TP3-53/E8012/1 作者:European Computing Congress (1st : 1974 : Brunel University)、Online International Ltd.、Business Equipment Trade Association.、 出版社:Uxbridge : Online (Computer Systems) Ltd., [1974].
|  |
0 索取号:TP3-53/E8013/2 作者:Berkeley Workshop on Distributed Data Management and Computer Networks (2nd : 1977)、Lawrence Berkeley Laboratory. Computer Science and Applied Mathematics Dept.、 出版社:Berkeley, Cal. : Lawrence Berkeley Laboratory ; Springfield, Va. : reproduced by National Technical Information Service, 1977.
|
 |
0 索取号:TP3-53/E9011/5 作者:International Conference on Computer Capacity Management (5th : 1983 : New Orleans、 La.)、Kaplan、 Carol B.、Institute for Software Engineering.、 出版社:Sunnyvale, Calif. : Institute for Software Engineering, c1983.
|  |
0 索取号:TP338.6-532/E20062/1979 作者:International Conference on Parallel Processing (1979 : Wayne State University)、Garcia、 Oscar N.、 1936-、Wayne State University. Dept. of Electrical and Computer Engineering.、IEEE Computer Society.、Association for Computing Machinery.、 出版社:New York : Institute of Electrical and Electronics Engineers, c1979.
|
 |
0 索取号:TP338.6-532/E20062/1978 作者:International Conference on Parallel Processing (1978 : Bellaire、 Mich.)、Lipovski、 G. Jack.、Wayne State University. Dept. of Electrical and Computer Engineering.、IEEE Computer Society.、Association for Computing Machinery.、 出版社:Long Beach, CA : available from IEEE Computer Society, c1978.
|  |
0 索取号:TP338.6-532/E20062/1976 作者:International Conference on Parallel Processing (1976 : Hartland、 Mich.)、Enslow、 Philip H.、 1933-、Wayne State University. Dept. of Electrical and Computer Engineering.、IEEE Computer Society.、Association for Computing Machinery.、 出版社:Long Beach, CA : Available from IEEE Computer Society, c1976.
|
 |
0 索取号:TP3-5/E808 作者:Infotech Information Limited.、 出版社:Maidenhead (Nicholson House, Maidenhead, Berks.) : Infotech Information Ltd, 1973.
|  |
0 索取号:TP3-46/E801 作者:International Computers Ltd.、 出版社:London : ICL, 1974.
|
 |
0 索取号:TP11-53/E906/1986 作者:Workshop on Robotics and Expert Systems (2nd : 1986 : NASA/Johnson Space Center)、Instrument Society of America. Robotics & Expert Systems Division.、Instrument Society of America. Clear Lake--Galveston Section.、Instrument Society of America. District 7.、 出版社:Research Triangle Park, N.C. : Instrument Society of America, 1986?.
|  |
0 索取号:TP274.23-53/E802/1972 作者:ACM SIGFIDET Workshop (1972 : Denver、 Colo.)、Dean、 A. L. (Albert L.)、Association for Computing Machinery. Special Interest Group on File Description and Translation.、 出版社:New York : Association for Computing Machinery, c1972.
|
 |
0 索取号:TP273-53/E905/7 作者:IFAC/IFIP/IMACS Conference on Digital Computer Applications to Process Control 7th Vienna、 Austria 1985 Sept. 17-20、International Federation of Automatic Control、 出版社:Oxford Pergamon Press 1986.
|  |
0 索取号:TP273-53/E901 作者:International Federation of Automatic Control. World Congress (10th : 1987 : Munich、 Germany)、Isermann、 Rolf.、International Federation of Automatic Control.、 出版社:Oxford : published for The International Federation of Automatic Control by Pergamon Press, 1988.
|